（来源：上观新闻）
每个硅桥都🖲是一个精密放置🇿🇼的组件，有着🚖🐟各自的对准要求🙈。"我很少见到一💽个开源项目能在这🔒👨❤️👨么短的时间🇺🇬🇮🇸内对这个🦐水平的技🖇术社区产🦜生这么大的冲🚨🇿🇲击🦚🎌。融资是🚩别人的领域，✉💰我们更愿意与所有😌🕧从事融🤐资业务的🤽♂️👨🦰人合作↙👨🚀，而不📤是自己去当🥿🇵🇪金融家⛓。今年1月，据外🤩🇨🇬媒busi🕓🧫nessins🇧🇪🇵🇬ider报道，🈂美国科技🦄大厂亚马逊计划🇵🇹🛸在2026年🇸🇷📉1月底🔻开始裁减数千名企➰业业务员🏔👫工，预🇲🇻计裁员↘人数将👨👩👧👧达到约3🇲🇭🔸万个职位，约占👎其约35万名企🐨🈂业业务员工的🆗8.5%至💷👇10%🇹🇳。一、Codex团😞🇸🇨队很少写文档，📺🇰🇾就算写🕸，10个要点也🌀够了 Peter🇰🇲🆕 Yang：我特🦃⛔别好奇，你们团🧺🐧队平时到底是🇹🇭怎么用Cod🇸🇸📰ex做😐产品的？Al🍞ex，你们🖐🤕现在还👩🔧啪啪啪啪啪在线观看写规格文☕档吗？🇧🇦还是直接让G🔢🏜PT来👸🇩🇯写？用的是哪🌠📈个模型？如何让产🌟品研发🇼🇸👧流程运转起来🍃🇭🇰？ A🇹🇳lexan⚖der：🏰我们Codex团🎼🏸队真的几乎不🕘🎬写规格文档🅰。
图丨相关论文（🔳💎来源：❔♟️arXiv）📿 相关论😖📙文以《FM-Ag⚒ent：通🧴过基于大语言模🐊型的霍尔逻🍮辑推理将形式化♻方法扩👥展至大规模系统软🚄👴件》（F⏬🥩M-Age👑🛷nt: Sc🇸🇨aling🖤 Fo🇬🇺rmal 🇸🇷Methods 🔫to Larg🏏🇫🇲e Sys💌☑tems via🐱🤣 LLM-B🇦🇷ased Ho🏚are-Styl‼e Rea🕗sonin🇷🇺🈚g）为题发表在❔预印本网站 a🍡rXiv[☄1]🚭。过去的几年中，你🐀们的年收入不🆒🈁断翻倍，💐🍰你们向全🌺球提供↙的浮点👩🦳运算能力（flo🦒ps）增长更是超🌮过了三倍🚕💗。融资是别人的领域✅，我们更愿🇸🇽🚜意与所🔗🧱有从事融资业🧳👢务的人🥒🗾合作，而🇳🇿👩👩👧👧不是自己去当金🗞〽融家🐣🌟。肯定有人会想🥕🐭，国内做🚆💟不通，做出💿好模型卖到海↪😡外不就行了？⬆海外开发者🤷♀️有钱、愿意付费🇿🇼🧮，去赚他们的🥂钱不好吗？ 不行👩⚖️。
